Modeling a Hardware Synthesis Methodology in Isabelle
نویسندگان
چکیده
Formal Synthesis is a methodology developed at Kent for combining circuit design and veriication. We have reinterpreted this methodology in Isabelle's theory of higher-order logic so that circuits are synthesized using higher-order resolution. Our interpretation sim-pliies and extends Formal Synthesis both conceptually and in implementation. It also supports integration of this development style with other synthesis methodologies and leads to techniques for developing new classes of circuits, e.g., recursive descriptions of parameterized circuits.
منابع مشابه
High-Level Modeling and Hardware Synthesis Methodology for Discrete-Event /Continuous-Time System
In recent years, the life cycle of industrial products becomes shorter and shorter; the diversity and complexity of functionality are continuously increasing. Thus, conventional methods and techniques of industrial controller design can no longer satisfy the actual demands like smartness, miniaturization, short time-to-market, etc. This paper is devoted to elaborate a methodology for hybrid con...
متن کاملA Practical Approach to Hardware and Software SoC Tradeoffs Using High-level Synthesis for Architectural Exploration
The complex world of SoC design is not immune to Moore’s law. Many SoCs are currently pushing the five to ten million-gate count on average. In addition, many contain a huge amount of software being processed by a DSP and/or general-purpose processor. We present a practical methodology to intelligently partition between hardware and software by using hard synthesis-based metrics. This approach ...
متن کاملOptimization of biocatalytic synthesis of Chitosan Ester using response surface methodology
Esterification of chitosan with adipic acid catalyzed by immobilized Candida antarctica lipase B was carried out in this study. Response surface methodology (RSM) based on a four-factor- five-level small central composite design (SCCD) was employed to model and analyze the reaction. A total of 21 experiments representing different combinations of the four reaction parameters including ch...
متن کاملHydrothermal synthesis of surface-modified copper oxide-doped zinc oxide nanoparticles for degradation of acid black 1: Modeling and optimization by response surface methodology
Dyes are widely used in various industries most of them are not readily biodegradable and are consisted of number of toxic, mutagenic, and carcinogenic compounds. Therefore, it is essential to remove them from effluent before their discharge to the environment. The objective of this investigation was to synthesize copper oxide (CuO) doped zinc oxide (ZnO) nanoparticles under mild hydrothermal c...
متن کاملThe Application of Hybrid RSM/ANN Methodology of an Iron-based Catalyst Performance in Fischer-Tropsch Synthesis
In this research, the performance and kinetics of an iron/manganese oxide catalyst in a fixed-bed reactor by Fischer-Tropsch Synthesis is studied. The range of operating conditions are; P = 1 – 12 bar, T = 513 - 553 K, H2/CO ratio = 1 - 2 and GHSV = 4200 – 7000 ((〖cm〗^3 (STP))/h/g_cat). The effect of these independent variables, on Fischer-Tropsch product were performed by using a statistical m...
متن کامل